package tests;

import syntax.Term;
import syntax.TermArgument;

public class TestResult {
	
	public TestResult(String nArg) {
		name = nArg;
	}
	
	final public String name;
	
}

class TimeoutTestResult extends TestResult {

	public TimeoutTestResult(String nArg) {
		super(nArg);
	}
}

class SensibleTestResult extends TestResult {

	public SensibleTestResult(TermArgument taArg, Term tArg, String nArg, boolean vArg,
			boolean pvArg) {
		super(nArg);
		termArgument = taArg;
		term = tArg;
		value = vArg;
		provedValue = pvArg;
	}



	final public TermArgument termArgument;

	final public Term term;

	final public boolean value;

	final public boolean provedValue;

	public long timeUsed = -1;

	public long memoryUsed = -1;

	public int graphSize = -1;

	public double graphAvgDepth = -1;

	public int graphMaxDepth = -1;

}
